Blar i HVL Open på forfatter "Tena, Alejandro Rodriguez"
-
Multilevel Modelling of Coloured Petri Nets
Tena, Alejandro Rodriguez; Rutle, Adrian; Duran, Francisco; Kristensen, Lars Michael; Macías, Fernando (Journal article; Peer reviewed, 2018)Coloured Petri Nets (CPNs) is a modelling language for distributed systems which has been applied in a multitude of industrial cases. The supporting tool of CPNs is currently lacking important features such as having the ... -
On modelling and validation of the MQTT IoT protocol for M2M communication
Tena, Alejandro Rodriguez; Kristensen, Lars Michael; Rutle, Adrian (Journal article; Peer reviewed, 2018)Machine to Machine (M2M) communication and Internet of Things (IoT) are becoming still more pervasive with the increase of communicating devices used in cyber-physical environments. A prominent approach to communication ...